Merge branch 'ricotz/for-master' into 'master'
authorRico Tzschichholz <ricotz@ubuntu.com>
Fri, 31 Jul 2020 19:31:40 +0000 (19:31 +0000)
committerRico Tzschichholz <ricotz@ubuntu.com>
Fri, 31 Jul 2020 19:31:40 +0000 (19:31 +0000)
Add annotations to improve GIR API

See merge request GNOME/gtk!2332


Trivial merge